1. Abduction and Induction
Author: edited by Peter A. Flach, Antonis C. Kakas.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Electronic data processing.,Logic.,Philosophy (General).,Science-- Philosophy.
2. Algebraic Foundations of Many-Valued Reasoning
Author: by Roberto L. O. Cignoli, Itala M. L. D'Ottaviano, Daniele Mundici.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Artificial intelligence.,Computational complexity.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
3. Automated Deduction - A Basis for Applications
Author: edited by Wolfgang Bibel, Peter H. Schmitt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
4. Automated Deduction - A Basis for Applications
Author: edited by Wolfgang Bibel, Peter H. Schmitt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
5. Belief Change
Author: edited by Didier Dubois, Henri Prade.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Logic.,Philosophy (General)
Classification :
Q375
.
E358
1998
6. Dynamic Worlds
Author: edited by Remo Pareschi, Bertram Fronhöfer.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Data structures (Computer science).,Logic.,Philosophy (General).
7. Formal Aspects of Context
Author: edited by Pierre Bonzon, Marcos Cavalcanti, Rolf Nossum.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
8. Foundations of Rational Agency
Author: edited by Michael Wooldridge, Anand Rao.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Linguistics-- Philosophy.,Logic.,Mathematics.,Philosophy (General).
9. Fuzzy Sets, Logics and Reasoning about Knowledge
Author: edited by Didier Dubois, Henri Prade, Erich Peter Klement.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
10. Inference on the Low Level
Author: by Hannes Leitgeb.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Genetic epistemology.,Logic.,Philosophy (General).
11. Intellectics and Computational Logic
Author: edited by Steffen Hölldobler.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Logic.,Philosophy (General).
12. Labelled Deduction
Author: edited by David Basin, Marcello D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Logic.,Philosophy (General)
13. Logic, Action and Cognition
Author: edited by Eva Ejerhed, Sten Lindström.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Humanities.,Logic.,Philosophy (General).
14. Proof Theory of Modal Logic
Author: edited by Heinrich Wansing.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
15. Reasoning with Actual and Potential Contradictions
Author: edited by Philippe Besnard, Anthony Hunter.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Logic.,Philosophy (General)
Classification :
Q375
.
E358
1998
16. Scare Tactics :
Author: by Douglas Walton.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Logic.,Philosophy (General)
Classification :
BC175
.
B936
2000
17. Sheaves, Games, and Model Completions :
Author: by Silvio Ghilardi, Marek Zawadowski.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Logic.,Philosophy (General)
Classification :
QA169
.
B975
2002
18. The Logic of Time :
Author: by J.F.A.K. Benthem.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Logic.,Philosophy (General)
